- универсально аксиоматизируемый
- universally axiomatizable матем.
Русско-английский научно-технический словарь Масловского. 2015.
универсально аксиоматизируемый
Look at other dictionaries:
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
АЛГЕБРАИЧЕСКОЙ СИСТЕМЫ АВТОМОРФИЗМ — Ч изоморфное отображение алгебраической системы на себя. Автоморфизмом (А.) системы наз. всякое взаимно однозначное отображение множества Ана себя, обладающее свойствами: для всех . из Аи для всех из . Другими словами, А … Математическая энциклопедия
